-
1 identity axiom
Математика: аксиома тождества -
2 identity axiom
мат. -
3 axiom
аксиома, постулат -
4 axiom of identity
Лингвистика: аксиома тождества -
5 аксиома тождества
Большой англо-русский и русско-английский словарь > аксиома тождества
-
6 multiplicative
мультипликативный completely multiplicative function ≈ вполне мультипликативная функция countably multiplicative function ≈ счетно мультипликативная функция exponentially multiplicative function ≈ экспоненциально мультипликативная функция multiplicative inverse matrix ≈ мультипликативно обратная матрица multiplicative random variable ≈ мультипликативная случайная величина strongly multiplicative system ≈ сильно мультипликативная система totally multiplicative function ≈ вполне мультипликативная функция unitary multiplicative commutator ≈ унитарный мультипликативный коммутатор - completely multiplicative - multiplicative algorithm - multiplicative arithmetic - multiplicative association - multiplicative axiom - multiplicative base - multiplicative basis - multiplicative calculation - multiplicative category - multiplicative character - multiplicative class - multiplicative closure - multiplicative commutation - multiplicative commutator - multiplicative composition - multiplicative congruence - multiplicative constant - multiplicative control - multiplicative convolution - multiplicative covering - multiplicative decomposition - multiplicative derivative - multiplicative distribution - multiplicative exave - multiplicative filtration - multiplicative form - multiplicative function - multiplicative functional - multiplicative group - multiplicative groupoid - multiplicative homomorphism - multiplicative ideal - multiplicative idempotent - multiplicative identity - multiplicative induction - multiplicative inequality - multiplicative integral - multiplicative interaction - multiplicative inverse - multiplicative inversion - multiplicative lattice - multiplicative model - multiplicative monoid - multiplicative noise - multiplicative nonadditivity - multiplicative norm - multiplicative number - multiplicative object - multiplicative operator - multiplicative order - multiplicative parameter - multiplicative process - multiplicative property - multiplicative representation - multiplicative rule - multiplicative semigroup - multiplicative semilattice - multiplicative set - multiplicative stability - multiplicative structure - multiplicative subgraph - multiplicative subset - multiplicative symmetry - multiplicative system - multiplicative tensor - multiplicative theor - multiplicative transformation - multiplicative utility - multiplicative variety - strongly multiplicative - totally multiplicative мультипликативный, увеличивающий увеличивающийся размножающийся;
относящийся к размножению - * stage стадия размножения (насекомых)Большой англо-русский и русско-английский словарь > multiplicative
-
7 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
См. также в других словарях:
Axiom (computer algebra system) — Scratchpad redirects here. For scratchpad memory, see Scratchpad RAM. Axiom Developer(s) independent group of people Stable release September 2011 Operating system cross platform … Wikipedia
Axiom computer algebra system — Infobox Software name = Axiom developer = Independent group of people operating system = Cross Platform genre = Computer Algebra System license = modified BSD License website = [http://axiom.axiom developer.org Axiom Home Page] Axiom is a free… … Wikipedia
Identity (philosophy) — In philosophy, identity, from Latin: identitas (“sameness”), is the relation each thing bears just to itself. [1] According to Leibniz s law two things sharing every attribute are not only similar, but are the same thing. The concept of sameness… … Wikipedia
Constant sheaf — In mathematics, the constant sheaf on a topological space X associated to a set A is a sheaf of sets on X whose stalks are all equal to A. It is denoted by A or AX. The constant presheaf with value A is the presheaf that assigns to each open… … Wikipedia
Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… … Wikipedia
Grothendieck topology — In category theory, a branch of mathematics, a Grothendieck topology is a structure on a category C which makes the objects of C act like the open sets of a topological space. A category together with a choice of Grothendieck topology is called a … Wikipedia
Semigroup action — In algebra and theoretical computer science, an action or act of a semigroup on a set is a rule which associates to each element of the semigroup a transformation of the set in such a way that the product of two elements of the semigroup (using… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia